limit superior of sequence